流密码构造与分析中一些问题的研究

【摘要】流密码是一类常用的密码体制,它具有小巧、快速、硬件实现简单等优点。流密码被广泛应用于军事、商业等方面,尤其是用于无线通信领域。因此,流密码的设计与分析是非常重要的工作。布尔函数是流密码的重要组件,其密码学性质直接影响着密码体制的安全性。因此,构造具有好密码学性质的布尔函数对设计流密码很重要。在布尔函数的各密码学性质中,代数免疫是非常重要的一种。本文研究了如何构造具有高代数免疫度的对称布尔函数,这方面的主要贡献如下：(1)构造全部具有最优代数免疫的偶数元对称布尔函数一直是悬而未决的密码学难题,有人曾证明此类函数的结构非常复杂。本文通过研究低度数对称布尔函数的权值分布,构造出了全部具有最优代数免疫的偶数元对称布尔函数,并对此类函数进行了计数。(2)构造出了一大类代数免疫度不低于d的2k元对称布尔函数,其中d是k二进制表达的后缀。基于这个构造,得到了一个此类函数计数的下界,这是第一个此类界。另外,伪随机序列生成器也是流密码的核心组件之一。FCSR是一类新型伪随机序列生成器,流密码F-FCSR系列及BEAN都是基于FCSR构造的。其中,F-FCSR-Hv2和F-FCSR-16曾是欧盟eSTREAM计划的最终轮作品之一,但在2008年被Hell和Johansson攻破。后来,学者们设计出新型流密码F-FCSR-Hv3和F-FCSR-16v3.新版本的F-FCSR系列不仅具有旧版本的优点,更重要的是它能够抵御Hell-Johansson攻击。本文对以上这几种流密码进行了安全性分析,这方面的主要贡献如下：(1)Tian和Qi曾发现了FCSR输出序列上的线性关系,但未曾有人成功地将这种线性关系应用于攻击中。本文首次设计出了一个扩展生日攻击算法来寻找FCSR输出序列上的线性关系。基于此算法,给出了一个针对流密码F-FCSR-Hv3的区分攻击。攻击的在线时间复杂度为237.2,离线时间复杂度为256.2。这是第一个成功的对F-FCSR-Hv3的攻击,第一个低于暴力攻击时间复杂度280的攻击。虽然本文只介绍了对F-FCSR-Hv3的攻击,但实际上这种攻击的应用面非常广,所有基于线性过滤器的FCSR组合器都会受到此攻击的威胁。(2)传统的快速相关攻击只能应用于LFSR,而不能应用于FCSRo需特别指出的是,F-FCSR系列密码的设计者声称,这个系列的流密码是对快速相关攻击免疫的。本文首次将快速相关攻击从LFSR扩展至FCSR,在扩展后的模型中,二进制对称信道中加入了一个新噪音。作为例子,本文展示了一个针对流密码F-FCSR-16v3的密钥恢复攻击。攻击的总时间复杂度为2109。这是第一个成功的对F-FCSR-16v3的密钥恢复攻击,第一个低于暴力攻击时间复杂度2128的攻击。除了F-FCSR-16v3以外,任何FCSR组合器都有可能成为此攻击的目标。(3)Agren和Hell曾发现了流密码BEAN的一个弱点,并据此提出了一个密钥恢复攻击。但此密钥恢复攻击的时间复杂度为273,这比暴力攻击的时间复杂度280仅略低一点。本文发现了BEAN的一些新的弱点,并提出了一个新密钥恢复攻击。新攻击的时间和数据复杂度分别为257.53和259.94。此外,本文给出了两个新输出函数,这两个函数比原输出函数的硬件实施更简单且更有效,最重要的是这两个函数对新攻击免疫。同时,本文给了出一些针对FCSR的改进意见。
【作者】王晖；
【导师】阚海斌；
【作者基本信息】复旦大学，计算机软件与理论，2013，博士
【关键词】流密码；布尔函数；代数免疫；带进位的移位寄存器；快速相关攻击；

【参考文献】
[1]胡楷.社会技术系统理论及其在项目组织设计中的应用[D].武汉理工大学,企业管理,2003,硕士.
[2]李赫.松辽盆地小城子地区沙河子组—泉头组一段沉积相特征研究[D].吉林大学,矿产普查与勘探,2013,硕士.
[3]张冰冰.蚁群算法在控制系统中的应用研究[D].新疆大学,检测技术与自动化装置,2013,硕士.
[4]何晓飞.微型逆变器与变换器控制策略研究[D].南京航空航天大学,电力电子与电力传动,2014,硕士.
[5]李荷华.面向智能体的化工过程运行系统信息集成模型研究[D].华南理工大学,2003.
[6]张伟才.星载赋形天线曲面设计及索膜结构形面设计分析[D].浙江大学,结构工程,2004,硕士.
[7]何雄.生物钟基因perlb突变对斑马鱼运动行为及认知功能的影响研究[D].苏州大学,发育生物学,2012,硕士.
[8]万军玲.高科技上市公司信息披露质量对股权融资成本影响的实证研究[D].沈阳理工大学,会计学,2012,硕士.
[9]段玉琴.数据挖掘中关联规则算法的研究[D].西安电子科技大学,计算机系统结构,2011,硕士.
[10]辛晓志.一系列自固定FI/Zr催化剂的合成，表征及其催化烯烃聚合性能的研究[D].吉林大学,有机化学,2014,硕士.
[11]程呈.电磁压制无镉中温银基钎料压型方程的研究[D].武汉理工大学,材料加工工程,2012,硕士.
[12]付琳琳.生物质炭施用下稻田土壤有机碳组分、腐殖质组分及团聚体特征研究[D].南京农业大学,土壤学,2013,硕士.
[13]李宇明.基于Shearlet变换的无参照图像质量评价方法[D].华中科技大学,电子与通信工程,2013,硕士.
[14]李佳渝.碳点的合成及天然小分子药物的光谱分析研究[D].西南大学,2014.
[15]潘璐.CC通信股份有限公司的股票期权方案设计[D].四川大学,工商管理,2003,硕士.
[16]尹颖尧.西安市农村社会主义教育运动研究[D].西北工业大学,马克思主义理论与思想政治教育,2004,硕士.
[17]李印彩.减之胶囊对肥胖大鼠减肥降脂作用的实验观察及其机制研究[D].浙江大学,营养与食品卫生学,2004,硕士.
[18]程昆.冷弯薄壁卷边槽钢框架体系抗震性能研究[D].内蒙古科技大学,结构工程,2013,硕士.
[19]王芝江.用于水质监测的嵌入式计算机系统开发与实验研究[D].河北工业大学,仪器科学与技术,2013,硕士.
[20]凌逸鹏.胸上段食管鳞癌淋巴转移规律及放疗靶区的探讨[D].山东大学,临床医学（专业学位）,2013,硕士.
[21]杨曼丽.双酰基硫脲类衍生物的合成及植物生长调节活性的研究（Ⅱ）[D].华中师范大学,有机化学,2004,硕士.
[22]陆茂丰.关于“铱”系统全球移动通信[J].江苏通信技术.1996(03)
[23]刘寒松.科学主义与人本主义的对峙与融合[D].吉林大学,马克思主义理论与思想政治教育,2004,硕士.
[24]上官涛.蒋士铨戏曲略论[D].华南师范大学,中国古代文学,2002,硕士.
[25]李长伟.基于大型缸套数控立式车床关键部件的结构特性分析与优化[D].江苏科技大学,机械工程（专业学位）,2014,硕士.
[26]孔铭铭.交通运输信息报送平台系统的设计与实现[D].吉林大学,软件工程,2014,硕士.
[27]岳崑.试论水彩风景画的情境表达[D].沈阳师范大学,美术,2014,硕士.
[28]郑晓飞.钢结构的疲劳设计与研究[D].大连理工大学,船舶与海洋工程（专业学位）,2012,硕士.
[29]孙锡龙.等离激元增强拉曼光谱预处理和识别算法的研究[D].厦门大学,计算机技术,2014,硕士.
[30]余功炎.型架快速设计与变形分析[D].西北工业大学,航空宇航制造工程,2004,硕士.
[31]邹凤.中药复方制剂—归元片对吗啡耐受、依赖和行为敏化的影响[D].中国人民解放军军事医学科学院,药理学,2003,硕士.
[32]朱琳.2’-氧—取代核苷衍生物的合成研究[D].北京交通大学,化学工程（专业学位）,2013,硕士.
[33]贾绍华.情感教学法在游泳中促进游泳成绩与健康的研究[D].河北师范大学,体育教学,2012,硕士.
[34]马立科.浅议“六杀”之立法技术及借鉴价值[D].中国社会科学院研究生院,法制史（专业学位）,2014,硕士.
[35]栗粟.氧化锌一维纳米结构的无催化剂可控制备及生长机制[D].清华大学,2011.
[36]谢刚.复杂高镁低镍硫化矿生物浸出液中镍镁的分离研究[D].北京有色金属研究总院,有色金属冶金,2014,硕士.
[37]孙祖霞.荷花种质资源遗传多样性的SRAP和ISSR研究[D].南京农业大学,园林植物与观赏园艺,2012,硕士.
[38]马琳娜.基于相关熵的平均近邻最大间隔特征提取[D].河北大学,计算机软件与理论,2014,硕士.
[39]王赫.常减压精馏与能量系统集成的研究[D].天津大学,化学工程,2013,硕士.
[40]李曼立.国家级贫困县普通中学体育教师现状调查[D].河北师范大学,学科教学,2014,硕士.
[41]王文静,王燕,孙守光,梁树林.高速列车转向架载荷谱长期跟踪试验研究[J].西南交通大学学报,2015,01:84-89.
[42]陈瑜.牙胶尖对机用镍钛器械预备弯曲根管的适应性的评价[D].吉林大学,口腔医学,2014,硕士.
[43]魏志锋.论我国缓刑制度的完善[D].甘肃政法学院,刑法学,2012,硕士.
[44]耿红娟.低温溶解体系中纤维素薄膜与凝胶的制备、结构与性质研究[D].齐鲁工业大学,2014.
[45]毛文钦.形状记忆合金热机的研究[D].杭州电子科技大学,机械电子工程,2014,硕士.
[46]李梅.我国创新驱动型产业升级政策研究[D].华中科技大学,行政管理,2012,硕士.
[47]李凤英,古天龙.柔性制造系统中生产调度问题的零压缩二叉决策图算法[J].控制与决策,2010,05:657-662.
[48]彭丹,孙芳芳,张明,李来才,曾小波.Gd掺杂CeO_2改性材料催化性能的理论研究[J].四川师范大学学报(自然科学版),2015,03:411-417.
[49]张习.伦理学视域下企业员工管理的实现路径研究[D].西北大学,伦理学,2014,硕士.
[50]王青青.怡癜饮治疗激素依赖性免疫性血小板减少症的临床研究[D].广州中医药大学,中医内科学（专业学位）,2013,硕士.